VDict mobile



logic A Horn clause that has exactly one positiveliteral.
(2000-01-24)